//
//  main.c
//  denissritchie
//
//  Created by Amit Jha on 7/29/12.
//  Copyright (c) 2012 Amit Jha. All rights reserved.
//

#include <stdio.h>


int mainpage6(int argc, const char * argv[])
{

    // insert code here...
    //printf("Hello, World\n");
    //main1();
    return 0;
}

